Detection of Causal Relations in Time Series Affected by Noise in Tokamaks Using Geodesic Distance on Gaussian Manifolds

Modern experiments in Magnetic Confinement Nuclear Fusion can produce Gigabytes of data, mainly in form of time series. The acquired signals, composing massive databases, are typically affected by significant levels of noise. The interpretation of the time series can therefore become quite involved, particularly when tenuous causal relations have to be investigated. In the last years, synchronization experiments, to control potentially dangerous instabilities, have become a subject of intensive research. Their interpretation requires quite delicate causality analysis. In this paper, the approach of Information Geometry is applied to the problem of assessing the effectiveness of synchronization experiments on JET (Joint European Torus). In particular, the use of the Geodesic Distance on Gaussian Manifolds is shown to improve the results of advanced techniques such as Recurrent Plots and Complex Networks, when the noise level is not negligible. In cases affected by particularly high levels of noise, compromising the traditional treatments, the use of the Geodesic Distance on Gaussian Manifolds allows deriving quite encouraging results. In addition to consolidating conclusions previously quite uncertain, it has been demonstrated that the proposed approach permit to successfully analyze signals of discharges which were otherwise unusable, therefore salvaging the interpretation of those experiments.EURATOM 63305

Current Research into Applications of Tomography for Fusion Diagnostics

Retrieving spatial distribution of plasma emissivity from line integrated measurements on tokamaks presents a challenging task due to ill-posedness of the tomography problem and limited number of the lines of sight. Modern methods of plasma tomography therefore implement a-priori information as well as constraints, in particular some form of penalisation of complexity. In this contribution, the current tomography methods under development (Tikhonov regularisation, Bayesian methods and neural networks) are briefly explained taking into account their potential for integration into the fusion reactor diagnostics. In particular, current development of the Minimum Fisher Regularisation method is exemplified with respect to real-time reconstruction capability, combination with spectral unfolding and other prospective tasks.EURATOM 63305

Efficient generation of energetic ions in multi-ion plasmas by radio-frequency heating

We describe a new technique for the efficient generation of high-energy ions with electromagnetic ion cyclotron waves in multi-ion plasmas. The discussed ‘three-ion’ scenarios are especially suited for strong wave absorption by a very low number of resonant ions. To observe this effect, the plasma composition has to be properly adjusted, as prescribed by theory. We demonstrate the potential of the method on the world-largest plasma magnetic confinement device, JET (Joint European Torus, Culham, UK), and the high-magnetic-field tokamak Alcator C-Mod (Cambridge, USA). The obtained results demonstrate efficient acceleration of 3He ions to high energies in dedicated hydrogen–deuterium mixtures. Simultaneously, effective plasma heating is observed, as a result of the slowing-down of the fast 3He ions. The developed technique is not only limited to laboratory plasmas, but can also be applied to explain observations of energetic ions in space-plasma environments, in particular, 3He-rich solar flares.This paper is dedicated to the late P. E. M. Vandenplas, founder and first director of LPP-ERM/KMS, in recognition of his lifelong outstanding commitment to fusion research, in particular to ICRH. The support from the JET and Alcator C-Mod Teams is warmly acknowledged. We are grateful to A. Cardinali, C. Castaldo, R. Dumont, J. Eriksson, T. Fülöp, C. Giroud, C. Hellesen, S. Menmuir and M. Schneider for fruitful discussions. This work has been carried out within the framework of the EUROfusion Consortium and has received funding from the Euratom research and training programme 2014–2018 under grant agreement no. 633053. The views and opinions expressed herein do not necessarily reflect those of the European Commission. This work was also supported by the US DoE, Office of Science, Office of Fusion Energy Sciences, SciDAC Center for Simulation of Wave Plasma Interactions under DE-FC02-01ER54648 and the User Facility Alcator C-Mod under DE-FC02-99ER54512. The Alcator C-Mod Team author list is reproduced from ref. 12. The JET Contributors author list is reproduced from ref. 33.Peer ReviewedPostprint (author's final draft

A Language-Independent Proof System for Mutual Program Equivalence

International audienceTwo programs are mutually equivalent if they both diverge or they end up in similar states. Mutual equivalence is an adequate notion of equivalence for programs written in deterministic languages. It is useful in many contexts, such as capturing the correctness of, program transformations within the same language, or capturing the correctness of compilers between two different languages. In this paper we introduce a language-independent proof system for mutual equivalence, which is parametric in the operational semantics of two languages and in a state-similarity relation. The proof system is sound: if it terminates then it establishes the mutual equivalence of the programs given to it as input. We illustrate it on two programs in two different languages (an imperative one and a functional one), that both compute the Collatz sequence.Deux programmes sont en équivalence mutuelle s'ils divergent tous les deux ou s'ils terminent dans des états similaires. L'équivalence mutuelle est une notion adéquate d'équivalence pour les programmes déterministes. Elle est utile dans divers contextes, parmi lesquels on peut citer la preuve de transformations de programmes dans un langage donné, et la preuve de compilateurs entre deux langages. Dans cet article nous introduisons un système déductif pour l'équivalence mutuelle, qui a comme paramètres les sémantiques opérationnelles de deux langages ainsi qu'une relation de similitude entre états des programmes. Le système déductif est correct: lorsqu'il termine, il démontre l'équivalence des programmes qui lui sont donnés en entrée. Nous l'illustrons sur deux programmes, appartenant à des langages différents : l'un impératif, l'autre fonctionnel, qui calculent la séquence de Collatz de deux manières différentes